An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations
نویسنده
چکیده
LIFE (Logic, Inheritance, Functions, Equations) is a programming language with a powerful facility for structured type inheritance. LIFE reconciles styles from functional programming and logic programming by implicitly delegating control to an automatic suspension mechanism. This allows interleaving interpretation of relational and functional expressions that specify abstract structural dependencies on objects. Together, these features provide a convenient and versatile power of abstraction for very high-level expression of constrained data structures. ... l’élément ne préexiste pas à l’ensemble, il n’est ni plus immédiat ni plus ancien, ce ne sont pas les éléments qui déterminent l’ensemble, mais l’ensemble qui détermine les éléments. GEORGES PEREC La vie, mode d’emploi.1
منابع مشابه
An Overview of LIFE
LIFE (Logic, Inheritance, Functions, Equations) is an experimental programming language with a powerful facility for structured type inheritance. LIFE reconciles styles from Functional Programming and Logic Programming by implicitly delegating control to an automatic suspension mechanism. This allows interleaving interpretation of relational and functional expressions which specify abstract str...
متن کاملThe 1993 International Logic Programming Symposium
declarative programming in Prolog and Gail Kaiser (Columbia University) on rule-based approaches to software processes. The tutorial sessions explored important and current themes: Hassan Ait-Kaci (Digital Equipment Corporation, Paris, France) introduced the LIFE system for programming with logic, inheritance, functions, and equations; Saumya Debray (University of Arizona) discussed compilers a...
متن کاملEffects of Probability Function on the Performance of Stochastic Programming
Stochastic programming is a valuable optimization tool where used when some or all of the design parameters of an optimization problem are defined by stochastic variables rather than by deterministic quantities. Depending on the nature of equations involved in the problem, a stochastic optimization problem is called a stochastic linear or nonlinear programming problem. In this paper,a stochasti...
متن کاملA Fast and Self-Repairing Genetic Programming Designer for Logic Circuits
Usually, important parameters in the design and implementation of combinational logic circuits are the number of gates, transistors, and the levels used in the design of the circuit. In this regard, various evolutionary paradigms with different competency have recently been introduced. However, while being advantageous, evolutionary paradigms also have some limitations including: a) lack of con...
متن کاملAnalyzing the Path between Positive Psychological Functions among Mothers of Cerebral Palsy
Introduction: The purpose of this study was to determine the relationships of positive psychological functions using structural equations modeling. The statistical population of this study included all mothers of children with cerebral palsy in North Khorasan Province in 2017 and 2018. Methods: The samples were selected by sampling method [105 persons]. Data were collected using eight questionn...
متن کامل